“형식화된 보안 정책 모형”으로 총 1건 검색

• 형식화된 보안 정책 모형, 形式化-保安政策模型, formal security policy model

  semantics model) 및 대수 명세 모형을 포함한다. ②정보 보호 정책을 수학적으로 엄격하게 정의한 것. 모형은 시스템의 최초 상태와 한 상태에서 다른 상태로의 변경을 표현해야 하고, 시스템의 안전한 상태를 정의해야 한다. TCB의 기반으로 사용되기 위해서는 시스템의 최초 상태가 안전하다는 것과 최초...